QUINSON, MARTIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

System-level state equality detection for the formal dynamic verification of legacy distributed applications

Guthmuller, Marion, Corona, Gabriel, Quinson, Martin

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 471 KB

english, 2018

2

Sol-Gel Coatings on Non-Oxide Planar Substrates and Fibers: A Protection Barrier Against Oxidation and Corrosion

Stephane Parola, Martine Verdenelli, Catherine Sigala, Jean-Pierre Scharff, Karine Velez, Christelle Veytizou, Jean-François Quinson

Journal:

Journal of Sol-Gel Science and Technology

Year:

2003

Language:

english

File:

PDF, 437 KB

english, 2003

3

Multidrug Resistance Genotypes (Insertions in the β3–β4 Finger Subdomain and MDR Mutations) of HIV-1 Reverse Transcriptase from Extensively Treated Patients: Incidence and Association with Other Resistance Mutations

Catherine Tamalet, Nouara Yahi, Christian Tourrès, Philippe Colson, Anne-Marie Quinson, Isabelle Poizot-Martin, Catherine Dhiver, Jacques Fantini

Journal:

Year:

2000

Language:

english

File:

PDF, 207 KB

english, 2000

4

[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Tutorial I: Simulation for large-scale distributed computing research

Quinson, Martin

Year:

2010

Language:

english

File:

PDF, 575 KB

english, 2010

5

[IEEE 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) - Ottawa, Canada (2012.05.13-2012.05.16)] 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) - Parallel Simulation of Peer-to-Peer Systems

Quinson, Martin, Rosa, Cristian, Thiéry, Christophe

Year:

2012

Language:

english

File:

PDF, 209 KB

english, 2012

6

[IEEE 2010 International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC) - Fukuoka Prefecture, Japan (2010.11.4-2010.11.6)] 2010 International Conference on P2P, Parallel, Grid, Cloud and Internet Computing - Synthesizing Generic Experimental Environments for Simulation

Quinson, Martin, Bobelin, Laurent, Suter, Frederic

Year:

2010

File:

PDF, 3.01 MB

2010

7

EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY

GUSTEDT, JENS, JEANNOT, EMMANUEL, QUINSON, MARTIN

Journal:

Parallel Processing Letters

Year:

2009

Language:

english

File:

PDF, 695 KB

english, 2009

8

Versatile, scalable, and accurate simulation of distributed applications and platforms

Casanova, Henri, Giersch, Arnaud, Legrand, Arnaud, Quinson, Martin, Suter, Frédéric

Journal:

Journal of Parallel and Distributed Computing

Year:

2014

Language:

english

File:

PDF, 1.24 MB

english, 2014

9

[IEEE 2009 IEEE Ninth International Conference on Peer-to-Peer Computing (P2P) - Seattle, WA, USA (2009.09.9-2009.09.11)] 2009 IEEE Ninth International Conference on Peer-to-Peer Computing - SimGrid: a generic framework for large-scale distributed experiments

Quinson, Martin

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

10

Dissipative water intrusion in hydrophobic MCM-41 type materials

Martin, T., Lefevre, B., Brunel, D., Galarneau, A., Di Renzo, F., Fajula, F., Gobin, P. F., Quinson, J. F., Vigier, G.

Journal:

Chemical Communications

Year:

2002

Language:

english

File:

PDF, 127 KB

english, 2002

11

[IEEE Tenth International Conference on Computer Modeling and Simulation (uksim 2008) - Cambridge, UK (2008.04.1-2008.04.3)] Tenth International Conference on Computer Modeling and Simulation (uksim 2008) - SimGrid: A Generic Framework for Large-Scale Distributed Experiments

Casanova, Henri, Legrand, Arnaud, Quinson, Martin

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

12

[IEEE 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Weimar, Germany (2009.02.18-2009.02.20)] 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Byte-Range Asynchronous Locking in Distributed Settings

Quinson, Martin, Vernier, Flavien

Year:

2009

Language:

english

File:

PDF, 255 KB

english, 2009

13

[IEEE Seventh IEEE International Symposium on Cluster Computing and the Grid - Rio de Janeiro, Brazil (2007.05.14-2007.05.17)] Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07) - Assessing the Quality of Automatically Built Network Representations

Eyraud-Dubois, Lionel, Quinson, Martin

Year:

2007

Language:

english

File:

PDF, 201 KB

english, 2007

14

[IEEE Distributed Processing Symposium (IPDPS) - Anchorage, AK, USA (2011.05.16-2011.05.20)] 2011 IEEE International Parallel & Distributed Processing Symposium - Single Node On-Line Simulation of MPI Applications with SMPI

Clauss, Pierre-Nicolas, Stillwell, Mark, Genaud, Stephane, Suter, Frederic, Casanova, Henri, Quinson, Martin

Year:

2011

Language:

english

File:

PDF, 625 KB

english, 2011

15

[IEEE 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) - Ottawa, Canada (2012.05.13-2012.05.16)] 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012) - Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation

Bobelin, Laurent, Legrand, Arnaud, M´rquez, David A. Gonz´lez, Navarro, Pierre, Quinson, Martin, Suter, Frédéric, Thiéry, Christophe

Year:

2012

Language:

english

File:

PDF, 255 KB

english, 2012

16

[IEEE 2011 International Conference on Parallel Processing Workshops (ICPPW) - Taipei City, Taiwan (2011.09.13-2011.09.16)] 2011 40th International Conference on Parallel Processing Workshops - Assessing the Performance of MPI Applications through Time-Independent Trace Replay

Desprez, Frederic, Markomanolis, George S., Quinson, Martin, Suter, Frederic

Year:

2011

Language:

english

File:

PDF, 351 KB

english, 2011

17

[ACM Press the 2015 ACM Conference - Vilnius, Lithuania (2015.07.04-2015.07.08)] Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '15 - A Teaching System to Learn Programming

Quinson, Martin, Oster, Gérald

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

18

[IEEE 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Turku, Finland (2015.3.4-2015.3.6)] 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Guthmuller, Marion, Quinson, Martin, Corona, Gabriel

Year:

2015

Language:

english

File:

PDF, 182 KB

english, 2015

19

Pharmacokinetic Interaction Between Lopinavir/r and Amprenavir in Salvage Therapy

Basso, Stéphanie, Solas, Caroline, Quinson, Anne-Marie, Ravaux, Isabelle, Poizot-Martin, Isabelle, Bacconier, J., Durand, Alain, Lacarelle, Bruno

Journal:

JAIDS Journal of Acquired Immune Deficiency Syndromes

Year:

2002

File:

PDF, 261 KB

2002

20

Simulating MPI applications: the SMPI approach

Degomme, Augustin, Legrand, Arnaud, Markomanolis, George, Quinson, Martin, Stillwell, Mark, Suter, Frederic

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2017

Language:

english

File:

PDF, 1.83 MB

english, 2017

21

[IEEE 2017 IEEE International Conference on Cluster Computing (CLUSTER) - Honolulu, HI, USA (2017.9.5-2017.9.8)] 2017 IEEE International Conference on Cluster Computing (CLUSTER) - Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node

Heinrich, Franz Christian, Cornebize, Tom, Degomme, Augustin, Legrand, Arnaud, Carpen-Amarie, Alexandra, Hunold, Sascha, Orgerie, Anne-Cecile, Quinson, Martin

Year:

2017

Language:

english

File:

PDF, 916 KB

english, 2017

22

[IEEE 2017 13th International Conference on Network and Service Management (CNSM) - Tokyo (2017.11.26-2017.11.30)] 2017 13th International Conference on Network and Service Management (CNSM) - Simulation toolbox for studying energy consumption in wired networks

Orgerie, Anne-Cecile, Amersho, Betsegaw Lemma, Haudebourg, Timothee, Quinson, Martin, Rifai, Myriana, Pacheco, Dino Lopez, Lefevre, Laurent

Year:

2017

Language:

english

File:

PDF, 248 KB

english, 2017

23

Quantifying the impact of shutdown techniques for energy-efficient data centers

Raïs, Issam, Orgerie, Anne-Cécile, Quinson, Martin, Lefèvre, Laurent

Journal:

Concurrency and Computation: Practice and Experience

Year:

2018

Language:

english

File:

PDF, 324 KB

english, 2018

24

[IEEE 2018 30th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) - Lyon, France (2018.9.24-2018.9.27)] 2018 30th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) - Network-Aware Energy-Efficient Virtual Machine Management in Distributed Cloud Infrastructures with On-Site Photovoltaic Production

Camus, Benjamin, Dufosse, Fanny, Blavette, Anne, Quinson, Martin, Orgerie, Anne-Cecile

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

25

[ACM Press the First International Workshop - Denver, CO, USA (2017.11.12-2017.11.17)] Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 - Verifying MPI Applications with SimGridMC

Pham, Anh, Jéron, Thierry, Quinson, Martin

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски